контрактное программирование中文是什么意思

• 契约式设计

• "компонентно-ориентированное программирование" 中文翻译 :    基于组件的软件工程
• "конструктор (объектно-ориентированное программирование)" 中文翻译 :    构造器
• "solid (объектно-ориентированное программирование)" 中文翻译 :    SOLID (面向对象设计)
• "аспектно-ориентированное программирование" 中文翻译 :    面向切面的程序设计
• "объектно-ориентированное программирование" 中文翻译 :    面向对象的编程
• "реактивное программирование" 中文翻译 :    响应式编程
• "структурное программирование" 中文翻译 :    结构化编程
• "грамотное программирование" 中文翻译 :    文学编程
• "возвратно-ориентированное программирование" 中文翻译 :    返回导向编程
• "объе́ктно-ориенти́рованное программи́рование" 中文翻译 :    面向对象程序设计
• "объектно-ориентированные языки программирования" 中文翻译 :    面向对象的编程语言
• "объектно-ориентированный язык программирования" 中文翻译 :    基于对象语言
• "ковариантность и контравариантность (программирование)" 中文翻译 :    协变与逆变
• "парное программирование" 中文翻译 :    结对编程
• "языково-ориентированное программирование" 中文翻译 :    面向语言的程序设计
• "автоматное программирование" 中文翻译 :    自动机编程
• "дискретное программирование" 中文翻译 :    离散优化
• "программирование по проектам" 中文翻译 :    制定项目计划
• "экстремальное программирование" 中文翻译 :    极限编程
• "интерфейс (объектно-ориентированное программирование)" 中文翻译 :    接口 (Java)
• "комбинаторное программирование" 中文翻译 :    函数级编程
• "функциональное программирование" 中文翻译 :    函数式编程
• "контейнер (программирование)" 中文翻译 :    容器 (数据类型)
• "перепрограммирование проекта" 中文翻译 :    项目重新安排 ？
• "контрактация" 中文翻译 :    订合同合同化预购定购
• "контрактатор" 中文翻译 :    庄客

• 契约式设计应用了形式验证、Formal specification与霍尔逻辑的理论。
  Контрактное программирование выросло из формальной верификации, формальной спецификации и логики Хоара.